﻿using System.Runtime.InteropServices;

namespace Borg
{
    [StructLayout(LayoutKind.Sequential)]
    public struct AnalyzerResult
    {
        private readonly Contract contract;
        private readonly Plugin plugin;

        public Contract Contract
        {
            get { return contract; }
        }

        public Plugin Plugin
        {
            get { return plugin; }
        }

        public AnalyzerResult(Contract contract, Plugin plugin)
        {
            this.contract = contract;
            this.plugin = plugin;
        }
    }
}

